<HTML><HEAD><TITLE>occurrences(+Value, +List, ?N)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(ic_symbolic)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>occurrences(+Value, +List, ?N)</H1>
Value occurs N times in List
<DL>
<DT><EM>Value</EM></DT>
<DD>domain value
</DD>
<DT><EM>List</EM></DT>
<DD>list of variables or domain values
</DD>
<DT><EM>N</EM></DT>
<DD>integer variable or integer
</DD>
</DL>
<H2>Description</H2>

	Constrains its arguments such that Value occurs exactly N times
	in List.
	This is implemented by mapping onto ic_global:occurrences/3.
	All list elements and Value must be variables or values of the
	same domain.  If one or more of them are domain-less, they will
	be given the same domain as the others.

<H3>Modules</H3>
This predicate is sensitive to its module context (tool predicate, see @/2).
<H2>See Also</H2>
<A HREF="../../lib/ic_global/occurrences-3.html">ic_global : occurrences / 3</A>
</BODY></HTML>
